.asn1 {
  color: #9cdcfe;

  &.light {
    color: #92278f;

    .sub {
      padding-left: 1.5em;
      border-left: solid 1px #cccccc;
    }

    .node:hover>.head,
    .node.hover>.head {
      color: #409eff;
    }

    .node:hover>.head:hover,
    .node.hover>.head.hover {
      color: #409eff;
    }
  }

  .tt {
    font-family: monospace;
  }

  .license .ref {
    position: relative;
  }

  .license .hidden {
    visibility: hidden;
    position: absolute;
    bottom: 0em;
    /*white-space: pre;*/
    // background-color: #d0d0d0;
    // border: solid 1px white;
    padding: 2px;
    margin-left: 15%;
    margin-right: 15%;
  }

  .license:hover .hidden {
    /*display: block;*/
    visibility: visible;
  }

  .node {
    position: relative;
  }

  .sub {
    padding-left: 1.5em;
    border-left: solid 1px #404040;
  }

  .head {
    height: 1em;
    white-space: nowrap;
  }

  .node:hover>.head,
  .node.hover>.head {
    color: #ce9178;
    font-weight: bold;
  }

  .node:hover>.head:hover,
  .node.hover>.head.hover {
    color: #ce9178;
  }

  .node.collapsed {
    font-style: italic;
  }

  .node.collapsed>.sub {
    display: none;
  }

  .node.collapsed.hover>.sub {
    display: block;
  }

  .value {
    display: none;
    position: absolute;
    z-index: 2;
    top: 1.2em;
    left: 0;
    color: #000000;
    background-color: #d0d0d0;
    // border: solid 1px white;
    padding: 2px;
  }

  .head:hover+.value,
  .head.hover+.value {
    display: block;
  }

  .preview {
    margin-left: 1em;
    // color: #505050;
    color: #777777;
    font-weight: normal;
  }

  .preview>.oid {
    margin-left: 1em;
    color: #808080;
    font-weight: normal;
  }

  .spaces {
    font-size: 0px;
  }

  #tree {
    font-family: monospace;
  }

  #tree>p {
    font-family: Arial, Helvetica, sans-serif;
  }

  #dump {
    z-index: 1;
    background-color: #c0c0c0;
    border: solid 1px #e0e0e0;
    font-family: monospace;
    white-space: pre;
    padding: 2px;
  }

  #dump .tag {
    color: blue;
  }

  #dump .dlen {
    color: darkcyan;
  }

  #dump .ulen {
    color: darkgreen;
  }

  #dump .intro {
    color: blue;
  }

  #dump .outro {
    color: darkgreen;
  }

  #dump .skip {
    color: #666666;
    background-color: #c0c0c0;
  }

  #dump .hexCurrent {
    background-color: #808080;
  }

  #dump .hexCurrent .hex {
    background-color: #a0a0a0;
  }

  #file {
    display: none;
  }
}
